Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goal to achieve, and in which agents must typically cooperate with others in order to satisfy their goals. In this paper, we show how it is possible to reason about QCGs using Coalition Logic (CL), a formalism intended to facilitate reasoning about coalitional powers in game-like multiagent systems. We introduce a correspondence relation (...) between QCGs and interpretations for CL, which defines the circumstances under which a CL interpretation correctly characterises a QCG. The complexity of deciding correspondence between QCGs and interpretations for CL is shown to vary from being tractable up to Πp 2-complete, depending on the representation chosen for the QCG and interpretation. We then show how various properties and solution concepts of QCGs can be characterised as CL formula schemes. The ideas are illustrated via a detailed worked example, in which we demonstrate how a model checker can be deployed to investigate whether a particular system has the properties in question. (shrink)

Much of the formal study of algorithmic concerns with respect to semantics for abstract argumentation frameworks has focused on the issue of computational complexity. In contrast matters regarding computability have been largely neglected. Recent trends in semantics have, however, started to concentrate not so much on the formulation of novel semantics but more on identifying common properties: for example, from basic ideas such as conflict-freeness through to quite sophisticated ideas such as serializability. The aim of this paper is to look (...) at the implications these more recent studies have for computability rather than computational complexity. (shrink)

The analysis of how social conventions emerge and become established is rightly viewed as a significant study of great relevance to models of legal and social systems. Such conventions, however, do not operate in a monotonic fashion, i.e. the fact that a convention is recognised and complied with at some instant is no guarantee it will continue to be so indefinitely. In total rules and protocols may evolve, with or without the consent of individual members of the society, even to (...) the extent that some cease to be observed or effective. In this paper we examine a framework for examining such changes in behavioural conventions that uses a proposed “taxonomy of social conventions” as the basis of a qualitative model deriving from value-based argument systems. (shrink)

The concept of strong admissibility plays an important role in dialectical proof procedures for grounded semantics allowing, as it does, concise proofs that an argument belongs to the grounded extension without having necessarily to construct this extension in full. One consequence of this property is that strong admissibility ceases to be a unique status semantics. In fact it is straightforward to construct examples for which the number of distinct strongly admissible sets is exponential in the number of arguments. We are (...) interested in characterizing properties of collections of strongly admissible sets in the sense that any system describing the strongly admissible sets of an argument framework must satisfy particular criteria. In terms of previous studies, our concern is the signature and with conditions ensuring realizability. The principal result is to demonstrate that a system of sets describes the strongly admissible sets of some framework if and only if that system has the property of being decomposable. (shrink)

Background Since the UK Abortion Act (1967), women have travelled from Ireland to the UK for legal abortion. In 2011 >4000 women did so. Knowledge and attitudes of medical students towards abortion have been published, however, this is the first such report from Ireland. Objective To investigate medical students’ attitudes towards abortion in Ireland. Methods All medical students at the University of Limerick, and physicians who graduated from the university within the previous 12 months, were invited via email to complete (...) an anonymous online survey. The questionnaire comprised 17 questions. Quantitative and qualitative analyses were performed. Results Response rate was 45% (n=169; 55% women; 88.2% <30 years of age; 66.7% Irish; 29.2% North American). Outcomes were: abortion should not be legally available (7.1%), abortion should be allowed in limited circumstances only (35.5%), abortion should be legally available upon request (55%). 72.8% of respondents were moderately/strongly prochoice (74% of women/71% of men/72% and 76% of Irish and North American respondents, respectively). Students aged >30 years were less likely to be prochoice (55%). While 95.2% believed that education on abortion should be offered within medical school curricula, 28.8% stated that they would decline to terminate pregnancies even if legally permitted. While 58.8% indicated that they might perform legal abortions once qualified, 25.7% would do so under limited circumstances only. Conclusions The majority of participants wanted education regarding abortion. Despite being predominantly prochoice, considerably fewer students, irrespective of nationality, indicated that they would perform abortions. (shrink)

The incident at Antioch described in Galatians 2:11–14 features in a number of Augustine’s works: Expositio epistulae ad Galatas, his correspondence with Jerome, De mendacio, Sermo 162C, and in De baptismo contra Donatistas. While a few scholars have seen Augustine’s anti-Donatism as a driving force behind all his comments about this encounter between Peter and Paul, this article argues that, while the idea of Peter’s humility is to be found in his commentary, the sermon, one of the letters, and (...) the treatises, Augustine interpreted the scriptural passage in a variety of different ways, depending upon his situation. In the commentary, Augustine wanted to defend the reality of the argument between Peter and Paul because of his belief that scriptural authors would not lie. The same idea occurs in his letters, e.g., Epistula 82, where he adds that his interpretation was supported by Cyprian. Contrary to the aforementioned scholars, it is only in De baptismo that Augustine applies the Galatians passage, which he takes as referring to Peter’s humility, to Cyprian himself as an imitator of Peter. Thus, it is only in this treatise that Augustine seeks to redeem Cyprian from the clutches of the Donatists. A close reading of this variety of interpretation by Augustine contributes to an appreciation of the complexity of his reception of Cyprian, a topic of ever-increasing importance in Augustinian studies. (shrink)

Most commentators supported the thesis of the target article, though there were also those who were less fully persuaded. I will begin with a response to the most critical commentaries. First, I will justify an evolutionary perspective that includes group organization and nongenetic inheritance. Next, I will discuss the concept of emergence. Following that, I will transition to an exploration of ideas and concerns brought up by some of the more supportive commentators. This will include a discussion of different types (...) of groups; the psychology of group-level traits; the uses and limitations of an institutional perspective; the link between transmission, adaptation, and selection; current and future methodologies; and the variety of fields that may benefit from a group-level traits perspective. (shrink)

The writings of al-Ghazālī give the distinct impression that he was highly concerned with the threat the Ismailis and their doctrines posed. By his own admission, he wrote six separate treatises to refute and condemn them, most importantly his Faḍāʾiḥ al-bāṭiniyya, which he composed in the year 488h in the months prior to his renunciation of government service and departure from Baghdad. His attack focused on the doctrine known as taʿlīm, with its insistence on the unrivaled absolute authority of a (...) single infallible Imam. He had in mind the Alamut teaching by Ḥasan-i Ṣabbāḥ of a doctrine then widely advocated in the Abbasid–Seljuk East. Significantly, there is no sign of this term used in this manner in the western Fatimid domains either earlier or later. However, our knowledge of events in the career of Ḥasan and of his teachings come from much later sources and are in part legendary at best. Although the doctrine of taʿlīm was certainly implicit in Ismaili works long before, in this particular work al-Ghazālī directed his attentions squarely against a new teaching he encountered personally in his own time and place. But we know it otherwise primarily from accounts recorded much later, in particular al-Shahrastānī’s al-Milal wa-l-niḥal. (shrink)

Paul E. Griffiths argues that most research on the emotions has been as misguided as Aristotelian efforts to study "superlunary objects" - objects...

The Ikhwan al-Safa (Brethren of Purity), the anonymous adepts of a tenth-century esoteric fraternity based in Basra and Baghdad, hold an eminent position in the history of science and philosophy in Islam due to the wide reception and assimilation of their monumental encyclopaedia, the Rasa'il Ikhwan al-Safa (Epistles of the Brethren of Purity). This compendium contains fifty-two epistles offering synoptic accounts of the classical sciences and philosophies of the age; divided into four classificatory parts, it treats themes in mathematics, logic, (...) natural philosophy, psychology, metaphysics, and theology, in addition to didactic fables. Epistles 32 to 36 comprise the first five treatises in the third division of the Rasa'il, on the sciences of the soul and intellect. Combining Islamic revelation with Hellenistic philosophy, the Ikhwan delineate herein their metaphysical system. Epistles 32 and 33 present adaptations of the Pythagorean doctrines, and of Neo-Platonist leitmotifs, whereby a numerical analogy is applied to the unique and transcendent God, or the One, from whom all existence emanates. Epistle 34 takes up the pervasive theme of the correspondence between microcosm and macrocosm, situating the human being as the central link between the celestial and terrestrial realms. In Epistle 35, we find an explanation of the intellectual faculties of the individual human soul, whose ultimate aim is ascension to the timeless reality of pure intellect. Finally, Epistle 36 presents itself as the astrological epistle par excellence of the Rasa'il; from the coming-to-be of worms, to the emergence of religions and empires, nothing in the sub-lunar sphere escapes the determining influence of the celestial cycles. (shrink)

Because physical theories typically predict numerical values, an improvement in experimental precision reduces the tolerance range and hence increases corroborability. In most psychological research, improved power of a statistical design leads to a prior probability approaching 1/2 of finding a significant difference in the theoretically predicted direction. Hence the corroboration yielded by "success" is very weak, and becomes weaker with increased precision. "Statistical significance" plays a logical role in psychology precisely the reverse of its role in physics. This problem is (...) worsened by certain unhealthy tendencies prevalent among psychologists, such as a premium placed on experimental "cuteness" and a free reliance upon ad hoc explanations to avoid refutation. (shrink)

Some ‘naturalist’ accounts of disease employ a biostatistical account of dysfunction, whilst others use a ‘selected effect’ account. Several recent authors have argued that the biostatistical account offers the best hope for a naturalist account of disease. We show that the selected effect account survives the criticisms levelled by these authors relatively unscathed, and has significant advantages over the BST. Moreover, unlike the BST, it has a strong theoretical rationale and can provide substantive reasons to decide difficult cases. This is (...) illustrated by showing how life-history theory clarifies the status of so-called diseases of old age. The selected effect account of function deserves a more prominent place in the philosophy of medicine than it currently occupies. _1_ Introduction _2_ Biostatistical and Selected Effect Accounts of Function _3_ Objections to the Selected Effect Account _3.1_ Boorse _3.2_ Kingma _3.3_ Hausman _3.4_ Murphy and Woolfolk _4_ Problems for the Biostatistical Account _4.1_ Schwartz _5_ Analysis versus Explication _6_ Explicating Dysfunction: Life History Theory and Senescence _7_ Conclusion. (shrink)

In behavioral ecology some authors regard the innateness concept as irretrievably confused whilst others take it to refer to adaptations. In cognitive psychology, however, whether traits are 'innate' is regarded as a significant question and is often the subject of heated debate. Several philosophers have tried to define innateness with the intention of making sense of its use in cognitive psychology. In contrast, I argue that the concept is irretrievably confused. The vernacular innateness concept represents a key aspect of 'folkbiology', (...) namely, the explanatory strategy that psychologists and cognitive anthropologists have labeled 'folk essentialism'. Folk essentialism is inimical to Darwinism, and both Darwin and the founders of the modern synthesis struggled to overcome this way of thinking about living systems. Because the vernacular concept of innateness is part of folkbiology, attempts to define it more adequately are unlikely to succeed, making it preferable to introduce new, neutral terms for the various, related notions that are needed to understand cognitive development. (shrink)

Several authors have argued that causes differ in the degree to which they are ‘specific’ to their effects. Woodward has used this idea to enrich his influential interventionist theory of causal explanation. Here we propose a way to measure causal specificity using tools from information theory. We show that the specificity of a causal variable is not well-defined without a probability distribution over the states of that variable. We demonstrate the tractability and interest of our proposed measure by measuring the (...) specificity of coding DNA and other factors in a simple model of the production of mRNA. (shrink)

The etiological approach to ‘proper functions’ in biology can be strengthened by relating it to Robert Cummins' general treatment of function ascription. The proper functions of a biological trait are the functions it is assigned in a Cummins-style functional explanation of the fitness of ancestors. These functions figure in selective explanations of the trait. It is also argued that some recent etiological theories include inaccurate accounts of selective explanation in biology. Finally, a generalization of the notion of selective explanation allows (...) an analysis of the proper functions of human artifacts. (shrink)

Donation after cardiac death (DCD) is associated with many problems, including ischemic injury, high rates of delayed allograft function, and frequent organ discard. Furthermore, many potential DCD donors fail to progress to asystole in a manner that would enable safe organ transplantation and no organs are recovered. DCD protocols are based upon the principle that the donor must be declared dead prior to organ recovery. A new protocol is proposed whereby after a donor family agrees to withdrawal of life-sustaining treatments, (...) premortem nephrectomy is performed in advance of end-of-life management. Since nephrectomy should not cause the donor's death, this approach satisfies the dead donor rule. The donor family's wishes are best met by organ donation, successful outcomes for the recipients, and a dignified death for the deceased. This proposal improves the likelihood of achieving these objectives. (shrink)

Many of the most important properties of human groups – including properties that may give one group an evolutionary advantage over another – are properly defined only at the level of group organization. Yet at present, most work on the evolution of culture has focused solely on the transmission of individual-level traits. I propose a conceptual extension of the theory of cultural evolution, particularly related to the evolutionary competition between cultural groups. The key concept in this extension is the emergent (...) group-level trait. This type of trait is characterized by the structured organization of differentiated individuals and constitutes a unit of selection that is qualitatively different from selection on groups as defined by traditional multilevel selection theory. As a corollary, I argue that the traditional focus on cooperation as the defining feature of human societies has missed an essential feature of cooperative groups. Traditional models of cooperation assume that interacting with one cooperator is equivalent to interacting with any other. However, human groups involve differential roles, meaning that receiving aid from one individual is often preferred to receiving aid from another. In this target article, I discuss the emergence and evolution of group-level traits and the implications for the theory of cultural evolution, including ramifications for the evolution of human cooperation, technology, and cultural institutions, and for the equivalency of multilevel selection and inclusive fitness approaches. (shrink)

In earlier work I have claimed that emotion and some emotions are not `natural kinds'. Here I clarify what I mean by `natural kind', suggest a new and more accurate term, and discuss the objection that emotion and emotions are not descriptive categories at all, but fundamentally normative categories.

It is unreasonable to assume that our pre-scientific emotion vocabulary embodies all and only those distinctions required for a scientific psychology of emotion. The psychoevolutionary approach to emotion yields an alternative classification of certain emotion phenomena. The new categories are based on a set of evolved adaptive responses, or affect-programs, which are found in all cultures. The triggering of these responses involves a modular system of stimulus appraisal, whose evoluations may conflict with those of higher-level cognitive processes. Whilst the structure (...) of the adaptive responses is innate, the contents of the system which triggers them are largely learnt. The circuits subserving the adaptive responses are probably located in the limbic system. This theory of emotion is directly applicable only to a small sub-domain of the traditional realm of emotion. It can be used, however, to explain the grouping of various other phenomena under the heading of emotion, and to explain various characteristic failings of the pre-scientific conception of emotion. (shrink)

A number of philosophers and ‘evolutionary psychologists’ have argued that attacks on adaptationism in contemporary biology are misguided. These thinkers identify anti-adaptationism with advocacy of non-adaptive modes of explanation. They overlook the influence of anti-adaptationism in the development of more rigorous forms of adaptive explanation. Many biologists who reject adaptationism do not reject Darwinism. Instead, they have pioneered the contemporary historical turn in the study of adaptation. One real issue which remains unresolved amongst these methodological advances is the nature of (...) ‘phylogenetic inertia’. To what extent is an adaptive explanation needed for the persistence of a trait as well as its origin? (shrink)

Kenneth C. Schaffner's paper is an important contribution to the literature on behavioral genetics and on genetics in general. Schaffner has a long record of injecting real molecular biology into philosophical discussions of genetics. His treatments of the reduction of Mendelian to molecular genetics first drew philosophical attention to the problems of detail that have fuelled both anti-reductionism and more sophisticated models of theory reduction. An injection of molecular detail into discussions of genetics is particularly necessary at the present time, (...) when so many philosophers seem happy to discuss the philosophical and ethical implications of molecular biology using gene concepts derived from evolutionary biology ). Schaffner has long advocated the view that the philosophy of biology should be more than the philosophy of evolution. This paper shows how radically a picture of gene action derived from molecular biology undercuts the popular picture associated with a more evolutionary view of genes as units of heredity or as ‘difference-makers’ mediated by the ‘black box’ of development. (shrink)

This article examines and rejects the claim that 'innateness is canalization'. Waddington's concept of canalization is distinguished from the narrower concept of environmental canalization with which it is often confused. Evidence is presented that the concept of environmental canalization is not an accurate analysis of the existing concept of innateness. The strategy of 'biologicizing the mind' by treating psychological or behavioral traits as if they were environmentally canalized physiological traits is criticized using data from developmental psychobiology. It is concluded that (...) identifying innateness with environmental canalization can only result in adding unhelpful associations from 'folkbiology' to the relatively precise idea of canalization. (shrink)